- axiomatic S-matrix theory
- <phys> ■ LSZ-Theorie f
English-german technical dictionary. 2013.
English-german technical dictionary. 2013.
Axiomatic design — is a systems design methodology using matrix methods to systematically analyze the transformation of customer needs into functional requirements, design parameters, and process variables. The method gets its name from its use of design principles … Wikipedia
Operad theory — is a field of abstract algebra concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity. Operads generalize the various associativity properties already… … Wikipedia
Nikolay Bogolyubov — For the actor, see Nikolay Bogolyubov (actor). Nikolay Nikolaevich Bogolyubov Born 21 August 1909( … Wikipedia
David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Algebra — This article is about the branch of mathematics. For other uses, see Algebra (disambiguation). Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from… … Wikipedia
Recursively enumerable set — In computability theory, traditionally called recursion theory, a set S of natural numbers is called recursively enumerable, computably enumerable, semidecidable, provable or Turing recognizable if: There is an algorithm such that the set of… … Wikipedia
List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… … Wikipedia
Axiomatische QFT — Die axiomatische Quantenfeldtheorie ist ein Forschungsbereich der mathematischen Physik. Der Begriff beschreibt verschiedene Ansätze, die Struktur der Quantenfeldtheorie mit mathematischen Mitteln zu beschreiben. Dabei wird meist versucht, einen… … Deutsch Wikipedia